141. Software language engineering. first international conference, SLE 2008, Toulouse, France, September 29-30, 2008 : revised selected papers
Author: SLE 8002)8002 :Toulouse, France(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Programming languages )Electronic computers( Congresses,، Software engineering Congresses,، Computer software- Development Congresses
Classification :
QA
76
.
7
.
S587
2008
142. Software systems prinicples ; a survey
پدیدآورنده : Freeman , Peter, 1491-
موضوع : ، Electronic digital computers - Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
143. Software systems principles; A survey
Author: / Peter Freeman
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Electronic digital computers - Programming
Classification :
001
.
642
F855s
144. Standardized development of computer software
Author: / Robert C. Tausworthe
Library: Library of College of Science University of Tehran (Tehran)
Subject: Electronic digital computers -- Programming,Computer software -- Standards
Classification :
QA
76
.
6
.
T39
1977
145. Successful software for small computers: structured programming in BASIC for science, business and education
Author: Beech, Graham
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Basic )Computer program language(
Classification :
QA
76
.
6
.
B451
146. System design from porvably correct constructs: the beginning of true software engineering
Author: Martin, James
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، System design,Programming ، Electronic digital computers,، Debugging in computer science
Classification :
QA
76
.
9
.
S88
M37
1985
147. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989
Author: J. Diaz, F. Orejas )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
351-352
148. The school of Niklaus Wirth : the art of simplicity
Author: Laszlo Boszrmenyi, Jurg Gutknecht, Gustav Pombergerg )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Wirth, Niklaus,، Software engineering,Research ، Computer science,، Computer programming,، Programming languages )Electronic computers(
Classification :
QA
76
.
756
.
S3
149. The specification of computer programs
Author: Turski, Wladyslaw
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Computer software- Development,، Electronic digital computers- Programming
Classification :
QA
76
.
76
.
D47T87
1987
150. Transformation-based reactive systems development : 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS'97, Paima, Mallorca, Spain, May 21-23, 1997: proceedings
Author: Miquel Bertran, Teodor Rus, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Real-time data processing,Congresses ، Parallel processing )Electronic computers(,Congresses ، Electronic data processing -- Distributed processing
Classification :
QA
76
.
L28
Vol
.
1231
151. Tru64 UNIX troubleshootin
Author: / Martin Moore, Steven Hancock
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: UNIX (Computer file),Operating systems (Computers),Software maintenance.,Debugging in computer science.
Classification :
QA
,
76
.
76
,.
O63
,
M658
,
2003b
152. Trust management II
Author: / edited by Yucel Karabulut ... [et al.].
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer systems -- Reliability -- Congresses, Trust -- Congresses, Computers -- Access control -- Congresses, Computer security -- Congresses,Electronic commerce -- Security measures -- Congresses
Classification :
QA
76
.
76
.
R44I35
2008
153. Turbo Pascal. ]User's guide, Programmer's guide,Turbo vision guide[
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Object - oriented programming )Computer science( - Software,، Compilers )Computer programs( - Software,، Programming languages )Electronic computers( - Software
Classification :
QA
76
.
73
.
P2
1990





